AWS Tiros
https://docs.aws.amazon.com/ja_jp/service-authorization/latest/reference/list_awstiros.html
https://speakerdeck.com/ytaka23/cicd-conference-2021?slide=26
SMT solver
を使っている